Książki autorstwa Helmut Veith

Znaleziono 1 – 6 z 6 pozycji

1. 

   Handbook of Model Checking

   Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith | Springer International Publishing AG, 2018

   
   

   Dostępna u dostawcy - Wysyłamy za 3 - 5 dni

   Język: Angielski

   Oprawa: Twarda

   131.57 €

   Rabat 2 %

   Oszczędzasz 3.70 €

   Kup książkę
2. 

   Computer Aided Verification

   Natasha Sharygina, Helmut Veith | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Miękka

   120.80 €

   Kup książkę
3. 

   25 Years of Model Checking

   Orna Grumberg, Helmut Veith | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Miękka

   42.88 €

   Kup książkę
4. 

   Handbook of Model Checking

   Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem | Springer Nature Switzerland AG, 2019

   
   

   50 % szansa - Przeszukamy cały świat

   Język: Angielski

   Oprawa: Miękka

   156.14 €

   Rabat 0 %

   Oszczędzasz 0.06 €

   Kup książkę
5. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Iliano Cervesato, Helmut Veith, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Miękka

   120.80 €

   Kup książkę
6. 

   Computer Science Logic

   Anuj Dawar, Helmut Veith | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Dostępna u dostawcy - Wysyłamy za 13 - 18 dni

   Język: Angielski

   Oprawa: Miękka

   62.21 €

   Kup książkę

Darmowa przesyłka dla zamówień powyżej 59.99 €. Zobacz więcej